Optimal. Leaf size=92 \[ \frac{i \left (a+b \tan ^{-1}(c x)\right )}{2 c d^3 (1+i c x)^2}+\frac{i b}{8 c d^3 (-c x+i)}-\frac{b}{8 c d^3 (-c x+i)^2}-\frac{i b \tan ^{-1}(c x)}{8 c d^3} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0549023, antiderivative size = 92, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 4, integrand size = 20, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.2, Rules used = {4862, 627, 44, 203} \[ \frac{i \left (a+b \tan ^{-1}(c x)\right )}{2 c d^3 (1+i c x)^2}+\frac{i b}{8 c d^3 (-c x+i)}-\frac{b}{8 c d^3 (-c x+i)^2}-\frac{i b \tan ^{-1}(c x)}{8 c d^3} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 4862
Rule 627
Rule 44
Rule 203
Rubi steps
\begin{align*} \int \frac{a+b \tan ^{-1}(c x)}{(d+i c d x)^3} \, dx &=\frac{i \left (a+b \tan ^{-1}(c x)\right )}{2 c d^3 (1+i c x)^2}-\frac{(i b) \int \frac{1}{(d+i c d x)^2 \left (1+c^2 x^2\right )} \, dx}{2 d}\\ &=\frac{i \left (a+b \tan ^{-1}(c x)\right )}{2 c d^3 (1+i c x)^2}-\frac{(i b) \int \frac{1}{\left (\frac{1}{d}-\frac{i c x}{d}\right ) (d+i c d x)^3} \, dx}{2 d}\\ &=\frac{i \left (a+b \tan ^{-1}(c x)\right )}{2 c d^3 (1+i c x)^2}-\frac{(i b) \int \left (\frac{i}{2 d^2 (-i+c x)^3}-\frac{1}{4 d^2 (-i+c x)^2}+\frac{1}{4 d^2 \left (1+c^2 x^2\right )}\right ) \, dx}{2 d}\\ &=-\frac{b}{8 c d^3 (i-c x)^2}+\frac{i b}{8 c d^3 (i-c x)}+\frac{i \left (a+b \tan ^{-1}(c x)\right )}{2 c d^3 (1+i c x)^2}-\frac{(i b) \int \frac{1}{1+c^2 x^2} \, dx}{8 d^3}\\ &=-\frac{b}{8 c d^3 (i-c x)^2}+\frac{i b}{8 c d^3 (i-c x)}-\frac{i b \tan ^{-1}(c x)}{8 c d^3}+\frac{i \left (a+b \tan ^{-1}(c x)\right )}{2 c d^3 (1+i c x)^2}\\ \end{align*}
Mathematica [A] time = 0.0397565, size = 55, normalized size = 0.6 \[ -\frac{i \left (4 a+b \left (c^2 x^2-2 i c x+3\right ) \tan ^{-1}(c x)+b (c x-2 i)\right )}{8 c d^3 (c x-i)^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.036, size = 93, normalized size = 1. \begin{align*}{\frac{{\frac{i}{2}}a}{c{d}^{3} \left ( 1+icx \right ) ^{2}}}+{\frac{{\frac{i}{2}}b\arctan \left ( cx \right ) }{c{d}^{3} \left ( 1+icx \right ) ^{2}}}-{\frac{{\frac{i}{8}}b\arctan \left ( cx \right ) }{c{d}^{3}}}-{\frac{b}{8\,c{d}^{3} \left ( cx-i \right ) ^{2}}}-{\frac{{\frac{i}{8}}b}{c{d}^{3} \left ( cx-i \right ) }} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.03283, size = 89, normalized size = 0.97 \begin{align*} -\frac{i \, b c x +{\left (i \, b c^{2} x^{2} + 2 \, b c x + 3 i \, b\right )} \arctan \left (c x\right ) + 4 i \, a + 2 \, b}{8 \, c^{3} d^{3} x^{2} - 16 i \, c^{2} d^{3} x - 8 \, c d^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.24684, size = 177, normalized size = 1.92 \begin{align*} \frac{-2 i \, b c x +{\left (b c^{2} x^{2} - 2 i \, b c x + 3 \, b\right )} \log \left (-\frac{c x + i}{c x - i}\right ) - 8 i \, a - 4 \, b}{16 \, c^{3} d^{3} x^{2} - 32 i \, c^{2} d^{3} x - 16 \, c d^{3}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.18408, size = 174, normalized size = 1.89 \begin{align*} \frac{b c^{2} x^{2} \log \left (c x + i\right ) - b c^{2} x^{2} \log \left (c x - i\right ) - 2 \, b c i x \log \left (c x + i\right ) + 2 \, b c i x \log \left (c x - i\right ) - 2 \, b c i x - 8 \, b i \arctan \left (c x\right ) - 8 \, a i - b \log \left (c x + i\right ) + b \log \left (c x - i\right ) - 4 \, b}{16 \,{\left (c^{3} d^{3} x^{2} - 2 \, c^{2} d^{3} i x - c d^{3}\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]